//#include<stdio.h>
//int main()
//{
//    int sign = 1;
//	double sum = 0.0;
//	for(int i = 1;i <= 100;i++)
//	{
//		
//		sum += (1.0 / i)*sign;
//        sign *= -1;
//	}
//	printf("%f\n", sum);
//}
//#include <stdio.h>
//
//int main() {
//    double sum = 0.0;
//
//    for (int i = 1; i <= 100; i++) {
//        if (i % 2 == 1) { 
//            sum += 1.0 / i;
//        }
//        else { 
//            sum -= 1.0 / i;
//        }
//    }
//    printf("%f\n", sum);
//
//    return 0;
//}
#include<stdio.h>
//int main()
//{
//	int count = 0;
//	for (int i = 1;i <= 100;i++)
//	{
//		int num = i;
//		while (num > 0)
//		{
//			if (num % 10 == 9)
//			{
//				count++;
//			}
//			num = num / 10;
//		}
//	}
//	printf("%d\n", count);
//	return 0;
//}
int main()
{
	for (int i = 1000;i <= 2000;i++)
	{
		int year = i;
		if ((year % 4 == 0 && year % 100 != 0) || (year % 400 == 0))
		{
			printf("%d ", year);
		}
	}
	return 0;
}